Buscar
Mostrando ítems 1-10 de 11
Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
(University of Notre Dame, 2008)
Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED ...
Difficulties in the appropriation of the concept of computability in Systems Engineering students
(Colombia, 2021)
The study was carried out in the city of Bogotá, during the first semester of the year 2020, at the higher
education institution Escuela Tecnológica Instituto Técnico Central, in the subject discrete
mathematics. The ...
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer NatureUSA., 2017)
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer NatureSuiza, 2017)
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer VerlagAlemania, 2017)
The algebraic approach by E. W. Dijkstra and C. S. Scholten to formallogic is a proof calculus, where the notion of proof is a sequence of equivalencesproved – mainly – by using substitution of ‘equals for equals’. This ...
Synchronous set relations in rewriting logic
(Elsevier, 2014)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
La Idealización en la MatemáticasIdealization in mathematics
(Universidad de Caldas, 2012)
Some hard questions for critical rationalismAlgunas preguntas difíciles para el racionalismo crítico
(Universidad de Caldas, 2014)